Free variables and bound variables - PDFSEARCH.IO - Document Search Engine

Free variables and bound variables
Results: 147

#	Item
141	PDF Document Add to Reading List Source URL: www.ilg.uni-stuttgart.de Language: English - Date: 2010-02-25 11:24:33 Syntax Donkey sentence Definite description Function Quantification Free variables and bound variables Entailment Interpretation Presupposition Logic Linguistics Semantics
142	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2005-09-04 16:36:13 Predicate logic Computability theory Formal methods Models of computation Combinatory logic Free variables and bound variables Function Variable First-order logic Mathematics Mathematical logic Lambda calculus
143	PDF Document Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2013-06-14 02:46:25 Lambda calculus Combinatory logic Logic in computer science Unification Free variables and bound variables Sturm–Liouville theory Mathematics Theoretical computer science Mathematical logic
144	PDF Document Add to Reading List Source URL: people.uleth.ca Language: English - Date: 2003-02-26 23:28:44 Lambda calculus Logic in computer science Proof theory Combinatory logic Type theory Curry–Howard correspondence Free variables and bound variables Function Natural deduction Mathematics Theoretical computer science Mathematical logic
145	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-27 05:55:04 Logic in computer science Programming language semantics Models of computation Computability theory Metalogic Denotational semantics Free variables and bound variables Operational semantics Entailment Theoretical computer science Logic Mathematical logic
146	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-21 10:55:57 Mathematical logic Computability theory Simply typed lambda calculus Combinatory logic Unification Free variables and bound variables Variable Mathematics Theoretical computer science Lambda calculus
147	PDF Document Add to Reading List Source URL: acl.ldc.upenn.edu Language: English - Date: 2002-04-04 17:46:44 Computer programming Free variables and bound variables Logic Mathematical notation Predicate logic Gender-neutral pronoun Relative clause Singular they Anaphora Linguistics Syntax Pronouns